81. Intelligent Control
پدیدآورنده : \ Nazmul Siddique; Foreword by Bernard Widrow
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intelligent control systems,Fuzzy logic,سیستم‌های کنترل هوشمند,منطق فازی,a03,a04,a03,a04
رده :
E-Book
,
82. Interactive Theorem Proving
پدیدآورنده : \ Christian Urban, Xingyuan Zhang (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
83. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
پدیدآورنده : \ [Edited by] Manuel Rebuschi...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,Language and logic,شناخت (فلسفه),زبان و منطق,a04,a05,a04,a05,Reasoning.,استدلال
رده :
BC
177
.
I5
2014
E-Book
,
84. Introduction to logic
پدیدآورنده : / Irving M. Copi
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق,Logic
رده :
BC108
.
C69
85. Introduction to logic: as developed by Muslim logicians
پدیدآورنده : / Sayyid Ali Murtada
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : منطق,Logic,a03,a03
رده :
BC50
.
M8I5
2016
86. Invitation to Critical Thinking
پدیدآورنده : / Joel Rudinow, Vincent E. Barry
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Critical thinking,Logic,تفکر انتقادی,منطق,a03,a05,a03,a05
رده :
BC177
.
R75
2008
87. Jin Yuelin's Ontology
پدیدآورنده : / by Yvonne Schulz Zinda
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Jin, Yuelin, 1895-1984,Philosophy, Chinese,Induction (Logic),Ontology,Knowledge, Theory of,فلسفه چینی,استقرا( منطق),هستی شناسی,نظریه شناخت
رده :
B5234
.
C5284
,
Z56
2012
88. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
89. Kant and the Creation of Freedom
پدیدآورنده : \ Christopher J. Insole.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Kant, Immanuel,1724-1804.,Free will and determinism.,Transcendental logic.,Philosophy.,کانت، ایمانوئل، ۱۷۲۴ - ۱۸۰۴م.,جبر و اختیار ,منطق متعالی
رده :
B2799
.
F8I57
2013
90. Kritik der Urteilskraft
پدیدآورنده : \ Immanuel Kant
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Judgment (Logic) -- Early works to 1800. ,Judgment (Aesthetics) -- Early works to 1800.,Aesthetics -- Early works to 1800.,تصدیق (منطق) -- متون قدیمی تا ۱۸۰۰م.,قضاوت (زیبایی‌شناسی) -- متون قدیمی تا ۱۸۰۰م,زیبایی‌شناسی-- متون قدیمی تا ۱۸۰۰م.
رده :
B2780
.
K32
K7
2015
91. Kıstâsul-Efkâr
پدیدآورنده : \ Şemsüddîn es-Semerkandî; eleştirmeli metin-çeviri Necmettin Pehlivan ; editör Ferruh Özpilavcı.,عنوان روی جلد: قسطاس الافکار فی تحقیق الاسرار/ شمس الدین السمرقندی ,title on cover: Kistas Al-Afkar fi Tahqiq Al Al-Asrar/ Shams Al-Din Al-Samarkandi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Islamic countries -- History. ,Logic -- Early works to 1800. ,منطق -- کشورهای اسلامی -- تاریخ ,منطق -- متون قدیمی تا ۱۸۰۰م.
رده :
BC34
.
H6K5
2014
92. L'Axiomatique
پدیدآورنده : \ par Robert Blanche
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Philosophy ,Logic,فلسفه,منطق
رده :
B77
.
B55
L32
1967
93. Language, Thought and Reference
پدیدآورنده : / George Powell
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Language and logic,Reference (Linguistics),Semantics,Pragmatics,Semantics (Philosophy),زبان و منطق,معنیشناسی,کاربردشناسی,معنیشناسی (فلسفه)
رده :
P39
.
L367
2010
94. Language, proof, and logic
پدیدآورنده : \ Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic.,منطق
رده :
BC
61
.
B32L32
1999
E
.
Book
,
95. Lectures on Logic
پدیدآورنده : / [by] Immanuel Kant
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Modern - 18th century,منطق جدید - قرن۱۸ م
رده :
B2758
.
Y55
1992
96. Linguistic Fuzzy Logic Methods in Social Sciences
پدیدآورنده : \ Badredine Arfi.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic,منطق فازی,a04,a04,Social sciences-- Mathematical models.,علوم اجتماعی -- الگوهای ریاضی
رده :
H
61
.
25
.
A7L5
2010
E-Book
,
97. Linking
پدیدآورنده : \ by Janet Randall.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics.,Semantics (Philosophy),Language and logic.,معنیشناسی ,معنیشناسی (فلسفه) ,زبان و منطق
رده :
P
325
.
R29
2010
E-Book
,
98. Logic
پدیدآورنده : / Graham Priest
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
BC71
.
P75
2006
99. Logic
پدیدآورنده : \ W.H.Newton-Smith
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
E-Book
,
100. Logic
پدیدآورنده : / by John Nolt, Dennis Rohatyn, Achille Varzi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
BC108
.
N65
2006
